- idUS
- Listar por autor
Listar por autor "Sarrión Morillo, Enrique"
Mostrando ítems 1-5 de 5
-
Ponencia
Abducción y semántica de teoría de juegos
Hernández Antón, Ignacio; Sarrión Morillo, Enrique; Soler Toscano, Fernando (Universidade de Santiago de Compostela, Servizo de Publicacións e Intercambio Científico, 2012)An agency-inspired inferential game is proposed in which two agents (abductive and deductive) interact. It depicts hybrid ...
-
Ponencia
Efficient program transformers for translating LCC to PDL
Pardo, Pere; Sarrión Morillo, Enrique; Soler Toscano, Fernando; Velázquez Quesada, Fernando R. (2014) -
Tesis Doctoral
Hacia una concepción generalizada de la abducción, su modelización en lógicas no clásicas y su implementación en herramientas informáticas
Sarrión Morillo, Enrique (2016-07-15)Comenzamos esbozando de modo informal una propuesta muy general del concepto de abducción, señalando cuáles son los ...
-
Ponencia
Tratamiento multimodal de contextos
Sarrión Morillo, Enrique; Hernández Antón, Ignacio; Nepomuceno Fernández, Ángel (Universidad de Santiago de Compostela, Servizo de Publicacións e Intercambio Científico, 2012)We take as starting point the context logic studied in (Grossi, Meyer, and Dignum 2008) and (Aucher et al. 2009), which ...
-
Artículo
Tuning the program transformers from LCC to PDL
Pardo, Pere; Sarrión Morillo, Enrique; Soler Toscano, Fernando; Velázquez Quesada, Fernando R. (IFCoLog (The International Federation for Computational Logic), 2018)This work proposes an alternative definition of the so-called program transformers used to obtain reduction axioms in the ...